It describes the whole work flow of precision analytical process, especially the "automated analysis& record" phase and the notional arithmetic of three key analyses: execution, infection, propagation, and gives frame diagram of the tool. 文中描述了软件代码精细分析的全过程,重点讲述自动分析记录的工作流程及执行、感染和传播这三个关键分析的概念性算法,并给出了工具的框架图解。
Introduces the course of writing ES syntax in detail, expounds the structure of predict analytical table, discusses semantic analysis about semantic record data structure, middle code, design of code and semantic processing. 详细介绍ES文法编写的过程,论述预测分析表的构造,讨论语义分析过程中语义记录数据结构、中间代码设计和语义例程。